(环论/交换代数)整闭的:指一个整环 (R) 在其分式域中没有“缺失”的整元素;也就是说,若某个元素在分式域里对 (R) 是整的(满足首一多项式方程且系数在 (R) 中),那么它其实已经属于 (R)。该性质常用来描述“没有可再通过整扩张补上的元素”的良好代数结构。(在更一般语境下也可指“在某个包含关系中对整闭”。)
/ɪnˈtɛɡrəli kləʊzd/
integrally 来自 integral(“整体的/整的”),在代数里引申为“与整性(integrality,整元素/整扩张)有关”;closed 表示“封闭的”,类似“在某种运算或条件下不再产生外部新元素”。合起来,integrally closed 就是“对整元素而言是封闭的(整闭)”。
An integrally closed domain has no new integral elements in its field of fractions.
整闭整环在它的分式域中不会出现新的整元素。
If (R) is integrally closed, then any element of (\mathrm{Frac}(R)) integral over (R) must already lie in (R), which is crucial in algebraic geometry and number theory.
如果 (R) 是整闭的,那么 (\mathrm{Frac}(R)) 中任何对 (R) 整的元素必定已属于 (R),这在代数几何与数论中非常关键。